Ident. | Authors (with country if any) | Title |
---|
000160 |
Alain Thoraval [France] ; Frédéric Cappa [France] ; Yves Guglielmi [États-Unis] | Modélisation du comportement hydromécanique d’un versant calcaire poreux et fracturé – Impact de simplifications géométriques et d’une homogénéisation des propriétés hydromécaniques sur la qualité des prédictions |
001487 |
Yaser Shanjani [États-Unis] ; Youxin Hu [Canada] ; Ehsan Toyserkani [Canada] ; Marc Grynpas [Canada] ; Rita A. Kandel [Canada] ; Robert M. Pilliar [Canada] | Solid freeform fabrication of porous calcium polyphosphate structures for bone substitute applications: In vivo studies |
001545 |
Riccardo Haupt [Italie] ; Milen Minkov [Autriche] ; Itziar Astigarraga [Espagne] ; Eva Sch Fer [France] ; Vasanta Nanduri [Royaume-Uni] ; Rima Jubran [États-Unis] ; R. Maarten Egeler [Canada] ; Gritta Janka [Allemagne] ; Dragan Micic [Serbie] ; Carlos Rodriguez-Galindo [États-Unis] ; Stefaan Van Gool [Belgique] ; Johannes Visser [Royaume-Uni] ; Sheila Weitzman [Canada] ; Jean Donadieu [France] | Langerhans cell histiocytosis (LCH): Guidelines for diagnosis, clinical work‐up, and treatment for patients till the age of 18 years |
001D05 |
Yi Liu [États-Unis] ; Adrien Coulet [États-Unis, France] ; Paea Lependu [États-Unis] ; Nigam H. Shah [États-Unis] | Using ontology-based annotation to profile disease research |
001D89 |
Michael Tsinberg [États-Unis] ; Chienying Liu [États-Unis] ; Quan-Yang Duh [États-Unis] | Subclinical Cushing's syndrome |
001E00 |
Fernando Benavides [États-Unis] ; Carlos Perez [États-Unis] ; Jorge Blando [États-Unis] ; Oscar Contreras [États-Unis] ; Jianjun Shen [États-Unis] ; Lisa M. Coussens [États-Unis] ; Susan M. Fischer [États-Unis] ; Donna F. Kusewitt [États-Unis] ; John Digiovanni [États-Unis] ; Claudio J. Conti [États-Unis] | Protective role of cathepsin L in mouse skin carcinogenesis |
001E19 |
Ghayda M. Mirzaa [États-Unis] ; Robert L. Conway [États-Unis] ; Karen W. Gripp [États-Unis] ; Tally Lerman-Sagie [Israël] ; Dawn H. Siegel [États-Unis] ; Linda S. Devries [Pays-Bas] ; Dorit Lev [Israël] ; Nancy Kramer [États-Unis] ; Elizabeth Hopkins [États-Unis] ; John M. Graham Jr [États-Unis] ; William B. Dobyns [États-Unis] | Megalencephaly‐capillary malformation (MCAP) and megalencephaly‐polydactyly‐polymicrogyria‐hydrocephalus (MPPH) syndromes: Two closely related disorders of brain overgrowth and abnormal brain and body morphogenesis |
002550 |
Clement Jonquet [États-Unis, France] ; Paea Lependu [États-Unis] ; Sean Falconer [États-Unis] ; Adrien Coulet [États-Unis, France] ; Natalya F. Noy [États-Unis] ; Mark A. Musen [États-Unis] ; Nigam H. Shah [États-Unis] | NCBO Resource Index: Ontology-Based Search and Mining of Biomedical Resources |
002738 |
Christoph Benzmüller [États-Unis] | Combining and automating classical and non-classical logics in classical higher-order logics |
003038 |
Rajeev Joshi [États-Unis] | Programming with Miracles |
003107 |
Christoph Benzmüller [États-Unis] | Combining Logics in Simple Type Theory |
003978 |
David D. Zhou [États-Unis] ; X. Tracy Cui [États-Unis] ; Amy Hines [États-Unis] ; Robert J. Greenberg [États-Unis] | Conducting Polymers in Neural Stimulation Applications |
003987 |
Ivan Švancara [République tchèque] ; Karel Vyt As [République tchèque] ; Kurt Kalcher [Autriche] ; Alain Walcarius [France] ; Joseph Wang [États-Unis] | Carbon Paste Electrodes in Facts, Numbers, and Notes: A Review on the Occasion of the 50‐Years Jubilee of Carbon Paste in Electrochemistry and Electroanalysis |
003A09 |
Du Li [États-Unis] ; Rui Li [États-Unis] | An Admissibility-Based Operational Transformation Framework for Collaborative Editing Systems |
004236 |
Gregg C. Fonarow [États-Unis] ; William T. Abraham [États-Unis] ; Nancy M. Albert [États-Unis] ; Wendy Gattis Stough [États-Unis] ; Mihai Gheorghiade [États-Unis] ; Barry H. Greenberg [États-Unis] ; Christopher M. O'Connor [États-Unis] ; Eduardo Nunez [États-Unis] ; Clyde W. Yancy [États-Unis] ; James B. Young [États-Unis] | A smoker's paradox in patients hospitalized for heart failure: findings from OPTIMIZE-HF |
004428 |
Alexander S. Lee [États-Unis] ; Serban F. Peteu [États-Unis] ; James V. Ly [États-Unis] ; Aristides A G. Requicha [États-Unis] ; Mark E. Thompson [États-Unis] ; Chongwu Zhou [États-Unis] | Actuation of polypyrrole nanowires |
004C37 |
Elena Anne Marchisotto [États-Unis] ; James T. Smith [États-Unis] | Life and Works |
004D17 |
Ashish Tiwari [États-Unis] | Abstractions for hybrid systems |
005366 |
Olivier Chevassut [États-Unis] ; Pierre-Alain Fouque [France] ; Pierrick Gaudry [France] ; David Pointcheval [France] | The Twist-AUgmented Technique for Key Exchange |
006188 |
Alexandre Urzhumtsev [France] ; Natalia Lunina [Russie] ; Pavel Afonine [États-Unis] ; Vladimir Y. Lunin [Russie] | Some Applications of Dummy Point Scatterers for Phasing in Macromolecular X-Ray Crystallography |
006207 |
Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] | Probabilistic Polynomial-Time Semantics for a Protocol Security Logic |
006B15 |
Leonardo De Moura [États-Unis] ; Sam Owre [États-Unis] ; Harald Rue [États-Unis] ; John Rushby [États-Unis] ; Natarajan Shankar [États-Unis] | The ICS Decision Procedures for Embedded Deduction |
006B63 |
Mitsuhiro Kato [États-Unis, Japon] ; Soma Das [États-Unis] ; Kristin Petras [États-Unis] ; Kunio Kitamura [Japon] ; Ken-Ichirou Morohashi [Japon] ; Diane N. Abuelo [États-Unis] ; Mason Barr [États-Unis] ; Dominique Bonneau [France] ; Angela F. Brady [Royaume-Uni] ; Nancy J. Carpenter [États-Unis] ; Karen L. Cipero [États-Unis] ; Francesco Frisone [Italie] ; Takayuki Fukuda [Japon] ; Renzo Guerrini [Italie] ; Eri Iida [Japon] ; Masayuki Itoh [Japon] ; Amy Feldman Lewanda [États-Unis] ; Yukiko Nanba [Japon] ; Akira Oka [Japon] ; Virginia K. Proud [États-Unis] ; Pascale Saugier-Veber [France] ; Susan L. Schelley [États-Unis] ; Angelo Selicorni [Italie] ; Rachel Shaner [États-Unis] ; Margherita Silengo [Italie] ; Fiona Stewart [Royaume-Uni] ; Noriyuki Sugiyama [Japon] ; Jun Toyama [Japon] ; Annick Toutain [France] ; Ana Lía Vargas [Argentine] ; Masako Yanazawa [Japon] ; Elaine H. Zackai [États-Unis] ; William B. Dobyns [États-Unis] | Mutations of ARX are associated with striking pleiotropy and consistent genotype–phenotype correlation |
006B78 |
Michael Beeson [États-Unis] | Lambda Logic |
006C19 |
Ting Zhang [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis] | Decision Procedures for Recursive Data Structures with Integer Constraints |
006C21 |
Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] | Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure |
006C27 |
Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] ; Rakesh Verma [États-Unis] | Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems |
007A41 |
Lanita Jacobs-Huey [États-Unis] | Ladies Are Seen, Not Heard: Language Socialization in a Southern, African American Cosmetology School |
007A61 |
Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions |
008723 |
Donald D. Hammill ; Nancy Mather [États-Unis] ; Elizabeth A. Allen ; Rhia Roberts [États-Unis] | Using Semantics, Grammar, Phonology, and Rapid Naming Tasks to Predict Word Identification |
008748 |
Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne] | SCIL — Symbolic Constraints in Integer Linear Programming |
008792 |
João Araújo [Portugal] ; Jonathan Whittle [États-Unis] ; Ambrosio Toval [Espagne] ; Robert France [États-Unis] | Integration and Transformation of UML Models |
008800 |
Dusko Pavlovic [États-Unis] ; Douglas R. Smith [États-Unis] | Guarded Transitions in Evolving Specifications |
009206 |
Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; Christos H. Papadimitriou [États-Unis] ; John N. Tsitsiklis [États-Unis] | Deciding stability and mortality of piecewise affine dynamical systems |
009268 |
Alessandro Armando [Italie] ; Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; Silvio Ranise [Italie] | The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics |
009300 |
Edward P. Stabler [États-Unis] | Recognizing Head Movement |
009321 |
Geoffrey K. Pullum [États-Unis] ; Barbara C. Scholz [États-Unis] | On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks |
009404 |
Henk Harkema [États-Unis] | A Characterization of Minimalist Languages |
009D11 |
Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis] | Specification and proof in membership equational logic |
009D17 |
Kelly D. Glover [États-Unis] | Proximal and distal deixis in negotiation talk |
009D50 |
Iliano Cervesato [États-Unis] ; Joshua S. Hodas [États-Unis] ; Frank Pfenning [États-Unis] | Efficient resource management for linear logic proof search |
009E20 |
Vincent Barletta [États-Unis] | Ten‐Year Index of JLA |
009E23 |
Michel Cosnard [France] ; Emmanuel Jeannot [France] ; Tao Yang [États-Unis] | Symbolic Scheduling of Parameterized Task Graphs on Parallel Machines |
009E24 |
Arnaud Durand [France] ; Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis] | Subtractive Reductions and Complete Problems for Counting Complexity Classes |
009E87 |
Anne N. Maggioncalda [États-Unis] ; Nancy M. Czekala [États-Unis] ; Robert M. Sapolsky [États-Unis] | Growth hormone and thyroid stimulating hormone concentrations in captive male orangutans: Implications for understanding developmental arrest |
009E97 |
Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen K. Lenstra [États-Unis] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Karen Aardal [Pays-Bas] ; Jeff Gilchrist [Canada] ; Gérard Guillerm [France] ; Paul Leyland [Royaume-Uni] ; Jöel Marchand [France] ; François Morain [France] ; Alec Muffett [Royaume-Uni] ; Chris And Craig Putnam [États-Unis] ; Paul Zimmermann [France] | Factorization of a 512-Bit RSA Modulus |
009F14 |
Gene D. Morse [États-Unis] ; Richard C. Reichman [États-Unis] ; Margaret A. Fischl [États-Unis] ; Michael Para [États-Unis] ; John Leedom [États-Unis] ; William Powderly [États-Unis] ; Lisa M. Demeter [États-Unis] ; Lionel Resnick [États-Unis] ; Yiannis Bassiakos [États-Unis] ; Joseph Timpone [États-Unis] ; Steve Cox [États-Unis] ; Donald Batts [États-Unis] | Concentration-targeted phase I trials of atevirdine mesylate in patients with HIV infection: dosage requirements and pharmacokinetic studies |
009F15 |
Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; José Meseguer [États-Unis] ; Carolyn L. Talcott [États-Unis] | Composing and Controlling Search in Reasoning Theories Using Mappings |
009F23 |
Tomás E. Uribe [États-Unis] | Combinations of Model Checking and Theorem Proving |
00A920 |
M. Clavel [Espagne] ; F. Durán [États-Unis] ; S. Eker [États-Unis] ; P. Lincoln [États-Unis] ; N. Martí-Oliet [Espagne] ; J. Meseguer [Espagne] ; J. F. Quesada [Espagne] | The Maude System |
00A959 |
Miki Hermann [France] ; Laurent Juban [France] ; Phokion G. Kolaitis [États-Unis] | On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System |
00A999 |
Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen Lenstra [États-Unis] ; Paul Leyland [Royaume-Uni] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Paul Zimmermann [France] | Factorization of RSA-140 Using the Number Field Sieve |
00AA02 |
P. Orlandi [Italie] ; G. F. Carnevale [États-Unis] | Evolution of isolated vortices in a rotating fluid of finite depth |
00AA28 |
Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis] | Computational Complexity of Simultaneous Elementary Matching Problems |
00AA61 |
Joshua S. Hodas [États-Unis] | A Linear Logic Treatment of Phrase Structure Grammars For Unbounded Dependencies |
00AA63 |
Neil Risch [États-Unis] ; Donna Spiker ; Linda Lotspeich ; Nassim Nouri ; David Hinds ; Joachim Hallmayer ; Luba Kalaydjieva ; Patty Mccague ; Sue Dimiceli ; Tawna Pitts ; Loan Nguyen ; Joan Yang ; Courtney Harper ; Danielle Thorpe ; Saritha Vermeer ; Helena Young ; Joan Hebert ; Alice Lin ; Joan Ferguson ; Carla Chiotti ; Susan Wiese-Slater ; Tamara Rogers ; Boyd Salmon ; Peter Nicholas ; P. Brent Petersen ; Carmen Pingree ; William Mcmahon ; Dona L. Wong ; L. Luca Cavalli-Sforza ; Helena C. Kraemer ; Richard M. Myers | A Genomic Screen of Autism: Evidence for a Multilocus Etiology |
00B227 |
Nancy A. Lutz [États-Unis] ; V. Padmanabhan [États-Unis] | Warranties, extended warranties, and product quality |
00B397 |
Hélène Kirchner [France] ; Peter D. Mosses [États-Unis, Danemark] | Algebraic Specifications, Higher-Order Types and Set-Theoretic Models |
00B426 |
H. Hermansky [États-Unis, République tchèque] | Should recognizers have ears? |
00BB92 |
Walter M. Neuenschwander [Suisse] ; Pascal Fua [Suisse] ; Lee Iverson [États-Unis] ; Gábor Székely [Suisse] ; Olaf Kübler [Suisse] | Ziplock Snakes |
00BC14 |
Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [États-Unis, France] ; José Meseguer [États-Unis] | Specification and proof in membership equational logic |
00BC30 |
Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis] | On the complexity of unification and disunification in commutative idempotent semigroups |
00BC70 |
Richard Washington [États-Unis] | BI-POMDP: Bounded, incremental partially-observable Markov-model planning |
00BC71 |
Adel Bouhoula [États-Unis] | Automated Theorem Proving by Test Set Induction |
00BF32 |
Jean-Claude Junqua [États-Unis, Colombie] | The influence of acoustics on speech production: A noise-induced stress phenomenon known as the Lombard reflex |
00BF70 |
Mario Fracchia [Italie] ; Kenneth D. R. Setchell [États-Unis] ; Andrea Crosignani [Italie] ; Mauro Podda [Italie] ; Nancy O'Connell [États-Unis] ; Roberto Ferraris [Italie] ; Alan F. Hofmann [États-Unis] ; Giovanni Galatola [Italie] | Bile acid conjugation in early stage cholestatic liver disease before and during treatment with ursodeoxycholic acid |
00C004 |
Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis] | Unification algorithms cannot be combined in polynomial time |
00C023 |
Narjes Berregeb [France] ; Adel Bouhoula [France, États-Unis] ; Michaël Rusinowitch [France] | SPIKE-AC: A system for proofs by induction in Associative-Commutative theories |
00C090 |
Narjes Berregeb [France] ; Adel Bouhoula [France] ; Michaël Rusinowitch [États-Unis, France] | Automated verification by induction with associative-commutative operators |
00C110 |
Adel Bouhoula [France, États-Unis] | A general framework for mechanizing induction using test set |
00C695 |
Miki Hermann [États-Unis] ; Phokion G. Kolaitis [États-Unis] | The Complexity of Counting Problems in Equational Matching |
00C702 |
Peter B. Ladkin [France] ; Barbara B. Simons [États-Unis] | Static Deadlock Analysis for CSP-Type Communications |
00C729 |
Barbara Abrams [États-Unis] ; Sylvia Guendelman [États-Unis] | Nutrient Intake of Mexican-American and Non-Hispanic White Women by Reproductive Status |
00C738 |
Bastiaan R. Bloem [Pays-Bas, États-Unis] ; Dennis J. Beckley ; Jeroen P. P. Van Vugt [Pays-Bas] ; J. Gert Van Dijk [Pays-Bas] ; Michael P. Remler ; J. William Langston [États-Unis] ; Raymund A. C. Roos [Pays-Bas] | Long latency postural reflexes are under supraspinal dopaminergic control |
00C774 |
Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis] | Computational complexity of simultaneous elementary matching problems |
00CC71 |
R. Hajislam [France] ; Y. Anglade [France] ; J.-C. Junqua [États-Unis] ; Jean-Marie Pierrel [France] | Etude acoustique du réflexe Lombard en vue de la reconnaissance de la parole produite en milieu bruité |
00CC77 |
Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis] | The complexity of counting problems in equational matching |
00D183 |
Ian Thomas [États-Unis] | Observations on object management systems and process support in environments |
00D545 |
Donald Symons [États-Unis] | What do men want? |
00D566 |
Richard Lippa [États-Unis] | On building bridges between social psychology and evolutionary biology |
00D593 |
John Dupré [États-Unis] | Arbitrariness and bias in evolutionary speculation |
00D985 |
Jean-Claude Junqua [États-Unis] | Toward robustness in isolated-word automatic speech recognition |
00DA08 |
Jean Claude Junqua [États-Unis] | A two-pass hybrid system using a low dimensional auditory model for speaker-independent isolated-word recognition |
00E018 |
Barbara Kass-Annese [États-Unis] ; Kathy Irene Kennedy [États-Unis] ; Katherine Forrest [États-Unis] ; Hal Danzer [États-Unis] ; Anthony Reading [États-Unis] ; Holly Hughes [États-Unis] | A study of the vaginal contraceptive sponge used with and without the fertility awareness method |
00E020 |
F. Alabert [États-Unis] ; J. L. Mallet [France] | A local grid updating scheme for interpolation |
00E049 |
C. Hilmon Castle [États-Unis] ; Robert A. Wolbach [États-Unis] | Long-term systemic arterial blood pressure control with nicardipine |
00E299 |
James C. Fuscoe [États-Unis] ; Rebekah Wu [États-Unis] ; Nancy H. Shen [États-Unis] ; Susan K. Healy [États-Unis] ; James S. Felton [États-Unis] | Base-change analysis of revertants of the hisD3052 allele in Salmonella typhimurium |
00EA33 |
Daniel M. Berry [États-Unis] ; Jeannette M. Wing [États-Unis] | Specifying and prototyping: Some thoughts on why they are successful |
00EA40 |
Joseph A. Goguen [États-Unis] ; Jean-Pierre Jouannaud [États-Unis, France] ; José Meseguer [États-Unis] | Operational semantics for order-sorted algebra |
00EC40 |
B. Simon [États-Unis] ; B. Souillard [France] | Franco-American meeting on the mathematics of random and almost periodic potentials |
00EC97 |
Hartwig Meissner [Allemagne] ; Richard J. Fatemen [États-Unis] ; K. D. Graf [Allemagne] ; K. A. Keil [Allemagne] ; H. Lothe [Allemagne] ; Guy Noel [Belgique] ; Donald L. Alderman [États-Unis] ; Rul Guzenhaeuser [Allemagne] ; D. C. Johnson [Royaume-Uni] ; Claudette Vieules [France] ; Andrew R. Molnar [États-Unis] ; Andrea A. Disessa [États-Unis] ; Marilyn N. Suydam [États-Unis] ; Alexander Wynands [Allemagne] | Technology |
00ED67 |
Patrick Corsi [États-Unis] | Speaker Recognition: A Survey |
00EE22 |
S. Packman [États-Unis] ; L. Sweetman [États-Unis] ; H. Baker [États-Unis] ; S. Wall [États-Unis] | The neonatal form of biotin-responsive multiple carboxylase deficiency |
00EE80 |
P. D. Buchanan [États-Unis] ; S. G. Kahler [États-Unis] ; L. Sweetman [États-Unis] ; W. L. Nyhan [États-Unis] | Pitfalls in the prenatal diagnosis of propionic acidemia |
00F015 |
Howard M. Cann [États-Unis] ; Kenneth K. Kidd [États-Unis] ; Ruben Lisker [États-Unis] ; Ruta Radvany [États-Unis] ; Rose Payne [États-Unis] | Genetic Structure of the HL‐A System in a Nahua Indian Population in Mexico |
00F082 |
L. Zernow [États-Unis] ; E. A. Tkachenko [États-Unis] ; Nancy B. Brooks [États-Unis] ; R. L. Lansdale [États-Unis] ; G. E. Lewis [États-Unis] | Application of two-dimensional computations to the study of sub-critical initiation and fadeout in a homogeneous explosive |
00F193 |
Charles Chazot [France] ; Guillaume Jean [France] ; Joel D. Kopple [États-Unis] | Can Outcomes be Improved in Dialysis Patients by Optimizing Trace Mineral, Micronutrient, and Antioxidant Status?: The Impact of Vitamins and their Supplementation. |